Common Names » red-staining mushroom